T :
    [
    ] #
        where e
        implements
        T
e